and Logic

Results: 11835



#Item
271

Boolean Evaluation with a Pairing and Unpairing Function Paul Tarau1 Brenda Luderman2

Add to Reading List

Source URL: logic.cse.unt.edu

- Date: 2012-09-29 04:27:11
    272

    Automating Separation Logic Using SMT Ruzica Piskac1 , Thomas Wies2 , and Damien Zufferey3 1 2

    Add to Reading List

    Source URL: www.lsv.ens-cachan.fr

    - Date: 2014-02-21 17:46:20
      273

      Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005

      Add to Reading List

      Source URL: www.doc.ic.ac.uk

      - Date: 2005-03-06 09:02:36
        274

        Linear Time Logic and Deterministic omega-Automata Joachim Klein January 2005

        Add to Reading List

        Source URL: www.ltl2dstar.de

        - Date: 2012-06-22 08:41:11
          275

          Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          - Date: 2014-03-02 08:51:30
            276

            The learnability of Auditory Center-embedded Recursion Jun Lai () Tilburg Center for Logic, Ethics and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg University,

            Add to Reading List

            Source URL: mindmodeling.org

            - Date: 2015-07-27 15:58:38
              277

              Graph Structure and Monadic Second-order Logic: Language Theoretical Aspects? Bruno Courcelle Université Bordeaux-1, LaBRI, CNRS Institut Universitaire de France 351, Cours de la Libération

              Add to Reading List

              Source URL: www.labri.fr

              - Date: 2008-09-03 04:59:37
                278

                Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules (Long version: http://www.cs.unb.ca/~boley/talks/RuleMLGrailog.pdf) Harold Boley NRC SDT & ICT Fredericton

                Add to Reading List

                Source URL: 2013.ruleml.org

                - Date: 2014-02-20 18:18:00
                  279

                  Lecture Notes on Choice and Replication: Linear Logic Frank Pfenning Lecture 5 February 1, 2012

                  Add to Reading List

                  Source URL: www.cs.cmu.edu

                  - Date: 2012-02-05 13:59:02
                    280

                    A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2014-01-21 06:29:06
                      UPDATE